// JavaScript Document

// redirection apres delai
function redirect(page) {
	location.href=page;
	window.location=page;
	window.location.replace(page);
}

function timed_redirect(page,delay) {
	delay=delay*1000;
	setTimeout("redirect('"+page+"')",delay);
}
